Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
881	Constructive Computation Theory G´ erard Huet An executable computability theory course based on λ-calculus Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2011-08-11 17:16:11 Lambda calculus Formal methods Theoretical computer science Type theory Models of computation De Bruijn index Free variables and bound variables Combinatory logic Hindley–Milner Software engineering Mathematics Computing
882	Type-Directed Partial Evaluation Olivier Danvy Computer Science Department Aarhus University y () Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Computer science Logic in computer science Type theory Data types Subroutines Simply typed lambda calculus Normalization property Combinatory logic Type system Lambda calculus Theoretical computer science Software engineering
883	Recursive Cellular Automata Invariant Sets Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-03-26 14:30:37 Discrete mathematics Theoretical computer science Formal languages Ergodic theory Subshift of finite type Shift space Recursively enumerable set Dynamical system Cellular automaton Combinatorics on words Mathematics Automata theory
884	Practical Static Analysis of JavaScript Applications in the Presence of Frameworks and Libraries Magnus Madsen Benjamin Livshits Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-03-14 19:43:32 Type theory Ajax Cross-platform software JavaScript Procedural programming languages Windows Runtime Type system Prototype-based programming JSON Computing Software engineering Computer programming
885	An Approach to Completing Variable Names for Implicitly Typed Functional Languages Takumi Goto Isao Sasano Add to Reading List Source URL: www.sic.shibaura-it.ac.jp Language: English - Date: 2012-02-22 04:44:30 Software engineering Type inference Unification Function Type system Hindley–Milner Free variables and bound variables Standard ML Lambda calculus Mathematics Type theory Mathematical logic
886	MITFallLecture 3 c W.C Carter Add to Reading List Source URL: pruffle.mit.edu Language: English - Date: 2012-09-05 10:03:02 Type theory Cross-platform software Procedural programming languages Data types Pattern matching Assignment Variable Function Static single assignment form Software engineering Computing Mathematics
887	Package ‘RObjectTables’ July 23, 2012 Version 0.3 DateTitle User-level attach()’able table support Author Duncan Temple Lang <> Add to Reading List Source URL: www.omegahat.org Language: English - Date: 2012-07-23 21:26:05 Relational database management systems Data types Subroutines Type theory Variables Database index Closure PL/SQL SQL Software engineering Computing Data management
888	Type Classes Without Types ∗ Ronald Garcia Andrew Lumsdaine Open Systems Lab Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:12 Lambda calculus Functional programming Type theory Data types Formal methods Monad Fixed-point combinator Map Type class Software engineering Computing Computer programming
889	Embedded Systems Conference April 3-7, San Jose [ESC-447] Safety-Critical Design Techniques for Secure and Reliable Systems Robert B. K. Dewar AdaCore Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-15 14:00:58 Ada programming language Program analysis Formal methods Avionics Type theory SPARK Ada Static program analysis Software bug Computing Software engineering Programming language theory
890	716 DISTRIBUTED COORDINATION-BASED SYSTEMS CHAP. 12 Add to Reading List Source URL: www.cs.vu.nl Language: English - Date: 2001-08-05 10:54:10 Type theory Distributed computing architecture Parallel computing Tuple space Jini Tuple Linda Extensible Storage Engine Product type Computing Concurrent computing Java platform

UPDATE